Towards probabilistic synchronisation of local controllers

Probabilistic synchronisation of pinning control

Robust Combination of Local Controllers

Finding solutions to high dimensional Markov Decision Processes (MDPs) is a difficult prob­ lem, especially in the presence of uncertainty or if the actions and time measurements are contin­ uous. Frequently this difficulty can be alleviated by the availability of problem-specific knowledge. For example, it may be relatively easy to design controllers that are good locally, though having no glo...

On Probabilistic Parallel Programs with Process Creation and Synchronisation

We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a model for parallel programs, generalising both probabilistic pushdown systems (a model for sequential probabilistic procedural programs which is equivalent to recursive Markov chains) and stochastic branching processes ...

Towards optimisation of openMP codes for synchronisation and data reuse

In this paper, we present the compiler transformation of OpenMP code to an ordered collection of tasks, and the compile-time as well as runtime mapping of the resulting task graph to threads for data reuse. The ordering of tasks is relaxed where possible so that the code may be executed in a more loosely synchronous fashion. Our current implementation uses a runtime system that permits tasks to...

A Numerical-Substructure-Based Approach for the Synthesis of Substructurability and Exact Synchronisation Controllers

An innovative numerical-substructure-based framework for the synthesis of substructured dynamics, substructurability, and exact synchronisation controllers using state-space techniques is presented in this paper. The proposed linear substructuring controllers require no a priori information of the specimen dynamics, and are suitable for nonlinear testing tasks. Controllability matrices and cond...